# vectorize_op_seq.py
VecorizationResult :=
	  Object
  * $samples list[$features list[$count_of_sub_op_seq int]]
  * $embedding list[$sub_op_seq tuple[str]] # len(embedding) == len($features)
  
vectorize_op_seq :=
		 $ret VecorizationResult
  <- $input_varidic_op_seq list[$op_seq list[str]]
  <- $sub_op_seq_len_limit int # default 6
  # inline
  <- (list[$sub_op_seq_start int] <- range <- ($len_op_seq <- len <- $op_seq))
  <- (list[$sub_op_seq_len int] <- range <- $sub_op_seq_len_limit)
  <- $get_sub_op_seq ($sub_op_seq tuple[str] <- $op_seq <- $sub_op_seq_start <- $sub_op_seq_len)
  <- ($embedding_set set[$sub_op_seq tuple[str]] <- $get_sub_op_seq <- $input_varidic_op_seq)
  <- ($embedding list[$sub_op_seq tuple[str]] <- $embedding_set)
  <- ($embedding_map dict[$sub_op_seq tuple[str], $sub_op_seq_index] <- $embedding)
  <- $get_one_sample_feature_dict (dict[$sub_op_seq tuple[str], $count_of_sub_op_seq int] <- $op_seq list[str])
  <- ($samples list[$features list[$count_of_sub_op_seq int]] <- $get_one_sample_feature_dict <- $input_varidic_op_seq <- $embedding_map)
  <- ($ret <- ...)